1. Type theory and formal proof :
Author: Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Type theory
Classification :
QA9
.
N37
2014
